all check divine-mc clean lcov-report install:
	$(MAKE) -C _build $(@)
dist:
	$(MAKE) -C _build package_source
	cp _build/divine-*.tar.gz .

distclean:
	rm -rf _build
